Feeds to Scour
SubscribedAll
Scoured 256134 posts in 2.58 s
Algebraic Topology 1: Homotopy Equivalence
youtube.com·12h
🎯Type Theory
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.to·1d·
Discuss: DEV
🎯Type Theory
Preview
Report Post
The Origins and Motivations of Univalent Foundations | Ideas
ias.edu·7h
🏗️Calculus of Constructions
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·12h
🔤Language Tokenizers
Preview
Report Post
Higman-Neumann-Neumann extension in nLab
ncatlab.org·1d
🤐Zipper Structures
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.io·6h·
Discuss: Hacker News
🔍ML Language
Preview
Report Post
A Mechanistic Analysis of Transformers for Dynamical Systems
arxiv.org·2d
🔍ML Language
Preview
Report Post
Hexagram 8. Bi, Holding Together
preview.redd.it·2h·
🏷️Symbol Mangling
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·16h
🔧LLVM IR
Preview
Report Post
Hj Hornbeck
freethoughtblogs.com·19h
🔍ML Language
Preview
Report Post
Error Bounds in a Smooth Metric for Brownian Approximation of Dynamical Systems via Stein’s Method | Journal of Statistical Physics
link.springer.com·1d
Fusion Laws
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·2d
λLambda Calculus
Preview
Report Post
Profunctors, Arrows, & Static Analysis
elvishjerricco.github.io·5d·
Discuss: Hacker News
functional programming
Preview
Report Post
Information, Physics, and Computation (Oxford Graduate Texts): Mézard, Marc, Montanari, Andrea: 8601410201722: Amazon.com: Books
amazon.com·1d
🎯Bit-Vector Algorithms
Preview
Report Post
Regression by Composition
lesswrong.com·1d
💫Effect Systems
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
Preview
Report Post
Donald Knuth’s 2025 Christmas Lecture: The Knight’s Tours
denvermobileappdeveloper.com·1d·
Discuss: DEV
🧮Combinator Calculus
Preview
Report Post
Portville’s Gariepy elevated Panthers’ standard
oleantimesherald.com·1d
🔍Fuzzy Matching
Preview
Report Post
GHC 9.12.3 is now available
haskell.org·1d
📏Linear Haskell
Preview
Report Post